Skip to main content

Microsoft Research Video

More than 1,100 brilliant scientists and engineers push the boundaries of computing in multiple research areas and include contributions to Kinect for Xbox 360, work to develop an HIV vaccine, and advancing education techniques in rural communities.

PART OF
Computers & Technology
More right-solid
More right-solid
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
SHOW DETAILS
up-solid down-solid
eye
Title
Date Archived
Creator
Leakage power has become an increasingly important issue in processor hardware and software design. With the main component of leakage, the sub-threshold current, exponentially increasing with decreasing device dimensions, leakage commands an ever increasing share in the processor power consumption. In 65 nm and below technologies, leakage accounts for 30-40% of processor power. While there are several process technology and circuit-level solutions to reduce leakage in processors, the research...
Topics: Microsoft Research, Microsoft Research Video Archive, Kim Shearer, Aviral Shrivastava, Sarma...
Topics: Microsoft Research, Microsoft Research Video Archive, David Heckerman, Jonathan Carlson, Yun Song
Microsoft Research Video
movies
eye 19
favorite 0
comment 0
Diverse control and measurement applications, such as mobile phone testing, process optimization, and distributed sonic arrays all require precise timing and synchronization. Designers of such systems need to understand the tradeoffs between the available timing technologies before choosing the right technology. When it comes to writing the software for the system it is often the case that the programming languages and tools either treat time as a second class citizen or worse - ignore time all...
Topics: Microsoft Research, Microsoft Research Video Archive, Mike Barnett, Jacob Kornerup
Topics: Microsoft Research, Microsoft Research Video Archive, Luay Nakhleh
Microsoft Research Video
movies
eye 16
favorite 0
comment 0
Many students from developing countries dream about working for a place like Microsoft. Unfortunately, even basic education can be hard to attain when families are in poverty. Vietnam is one place where families must pay fees for elementary and secondary education. Families in rural areas often subsist on 2 or 3 dollars per day, which makes it difficult for them to afford schooling for their children. The Viet Nam Scholarship Foundation was established to provide ongoing support to these...
Topics: Microsoft Research, Microsoft Research Video Archive, Vahab Mirrokni and Jennifer Chayes, Gwen Vu,...
Not long ago, Americans could rightly feel confident in our preeminence in the world’s economy, as we set the pace for everything from the personal computer to the internet, from Wall Street to Hollywood, form the decoding of the genome to Web 2.0. So why is it that today Finland has the world’s most competitive economy? Why do US students rank 24th in math literacy around the world and why, in a reverse “brain drain”, did 30,000 highly trained professionals leave the US to return to...
Topics: Microsoft Research, Microsoft Research Video Archive, Kim Ricketts and Kirsten Wiley of Microsoft...
Microsoft Research Video
movies
eye 16
favorite 0
comment 0
In this talk we present a model that combines explicit and symbolic representations in an explicit-symbolic model checking tool. Both explicit and symbolic models have been successfully used in the verification of finite state concurrent systems, such as complex sequential circuits and communication protocols. The proposed model aims to use explicit and symbolic techniques together to verify the same model and to make it possible to employ the most efficient technique to each aspect of the...
Topics: Microsoft Research, Microsoft Research Video Archive, Tom Ball, Sergio Campos
Video games are big business, but can they be much bigger businesses? To do so requires the retention of existing players and the expansion of the player population beyond its historically core constituency of young men. Getting other demographics to engage the console experience may require modifying the product to fit the needs, interests, and issues of non-traditional players. The success of the Wii is an indicator of this shift away from technical superiority to more inclusive play...
Topics: Microsoft Research, Microsoft Research Video Archive, Marc Smith, Tracy Kennedy
Microsoft Research Video
movies
eye 36
favorite 0
comment 0
MPI is the de facto standard for programming cluster machines used in high performance computing. Even though MPI programs are not as error-prone to write as thread programs based on shared memory, the use of wildcard communications, split operations (posting and later testing), and recently added weak shared memory extensions to MPI all can, nevertheless, render MPI programs quite buggy. Extracting models from MPI programs and using existing model checkers suffers from many problems:...
Topics: Microsoft Research, Microsoft Research Video Archive, Madan Musuvathi, Ganesh Gopalakrishnan
Microsoft Research Video
movies
eye 39
favorite 0
comment 0
In this talk I will describe three projects that harness the potential of variable-aperture photography – capturing multiple photos by manipulating basic lens controls such as aperture and focus. I will show that by combining such photos, the information encoded in defocus can be used to achieve a variety of goals. First, I will describe a new method for computing highly detailed 3D shape by controlling both the aperture and focus of a lens. This method is particularly well-suited for scenes...
Topics: Microsoft Research, Microsoft Research Video Archive, Sing Bing Kang, Sam Hasinoff
Microsoft Research Video
movies
eye 21
favorite 0
comment 0
The game console market has gone highly concurrent, and the PC market is heading that way fast as well. The software development side of the game business has been reeling to catch up and deal with the new hardware, and the problem is far from solved. With a few products under our collective belt it is time to take a step back and assess where we are at, where things are headed, and how we are dealing with the recent and future changes to our hardware platforms... and how we would like to be...
Topics: Microsoft Research, Microsoft Research Video Archive, David Tarditi, Andrew Brownsword
Transfer functions, Analyzing composed systems, Q&A / Buffer. ©2007 Microsoft Corporation. All rights reserved.
Topics: Microsoft Research, Microsoft Research Video Archive, Jim Larus, Joe Hellerstein
In 1983, Aldous proved that randomization can speedup local search. For example, it reduces the query complexity of local search over grid 1:n] d from Theta (n d-1 ) to O (n d/2 ). It remains open whether randomization helps fixed-point computation. Inspired by this problem and recent advances on equilibrium computation, we have been fascinated by the following question: Is a fixed-point or an equilibrium fundamentally harder to find than a local optimum? In this talk, I will present a tight...
Topics: Microsoft Research, Microsoft Research Video Archive, Jennifer Chayes, Shang-Hua Teng
Using a combination of techniques in optical and radio frequency domains, one can significantly improve the functionality of cameras for sensing, projectors for augmentation and RFIDs for location sensing services. We have recently developed a technique to capture a light field and improve the depth of field of a camera using heterodyning methods common in radio frequency modulation (http://www.merl.com/people/raskar/Mask/). We have also shown that sensor-enhanced wireless tags can be precisely...
Topics: Microsoft Research, Microsoft Research Video Archive, Sing Bing Kang, Ramesh Raskar
With microprocessors hitting the power wall, alternative architectures are receiving substantial attention. Two factors make FPGAs promising, particularly for high performance computing applications: (i) the potential for thousand-fold parallelism, and (ii) the embedding of control into logic, which enables payload to be delivered every cycle. In this talk we will describe work in building FPGA-based accelerators for computational biology and bioinformatics. We find that, while there is...
Topics: Microsoft Research, Microsoft Research Video Archive, Alessandro Forin, Yongfeng Gu
Topics: Microsoft Research, Microsoft Research Video Archive, Danyel Fisher, John C. Tang
Microsoft Research Video
movies
eye 27
favorite 0
comment 0
With email we can send a message to nearly anyone, anytime, from anywhere…but that doesn’t always mean that we should. In fact, email communication presents new challenges-both in terms of writing skills and strategy-that should prompt us to ask ourselves a series of questions every time we compose an electronic memo, note, report, or reply. For example, when should you email and when should you call or show up? What is the best strategy when you send (in anger or in error) a potentially...
Topics: Microsoft Research, Microsoft Research Video Archive, Kim Ricketts and Kirsten Wiley, David Shipley
Modern software engineering tools exhibit a fundamental paradox: they are meant to support the collaborative activity of software development, but cause individuals and groups to work independently from one another. The underlying issue is that existing tools discretize time and tasks in concrete but isolated process steps. This approach is fundamentally flawed in assuming that human activity can be codified and that periodic resynchronization of tasks is an easy step. In this talk, I present a...
Topics: Microsoft Research, Microsoft Research Video Archive, Rob Deline, Anita Sarma
Microsoft Research Video
movies
eye 50
favorite 0
comment 0
The processor industry is at an inflection point. In the past, performance was the driving force behind the processor industry. But in the coming many-core era, improving programmability and reliability of the system will be at least as important as improving raw performance. To meet this vision, I will present a processor feature called BugNet that assists programmers in understanding software failures. Reproducing software failures is a significant challenge. The problem is severe especially...
Topics: Microsoft Research, Microsoft Research Video Archive, Onur Mutlu, Satish Narayanasamy
Mobile delay-tolerant sensor networks are becoming increasingly important because of their ability to deliver long periods of fine-grained sensing over a wide area with a small number of nodes. A key challenge in these systems, however, is that nodes are extremely energy constrained since they must be small, lightweight, and function autonomously for months at a time. This problem is compounded by the fact that mobile nodes demand radios with relatively long ranges to maximize the effectiveness...
Topics: Microsoft Research, Microsoft Research Video Archive, Jie Liu, Christopher Sadler
Microsoft Research Video
movies
eye 33
favorite 0
comment 0
At CBS, we have during the recent years developed a number of web tools to be used in immunological research. These tools are all linked at http://www.cbs.dtu.dk/services and include a predictor of proteasomal cleavage; NetChop-3.0 [1], a predictor of MHC class I peptide binding; NetMHC-3.0, the algorithms are described in [2,3], a CTL-epitope predictor; NetCTL-1.2 [4], a tool predicting linear B-cell epitopes; BebiPred, [5], a platform for prediction of discontinuous B-cell epitopes,...
Topics: Microsoft Research, Microsoft Research Video Archive, Nebojsa Jojic, Claus Lundegaard
A q-query Locally Decodable Code (LDC) encodes an n-bit message x as an N-bit codeword C(x), such that one can probabilistically recover any bit x i of the message by querying only q bits of the codeword C(x), even after some constant fraction of codeword bits has been corrupted. We give new constructions of three query LDCs of vastly shorter length than that of previous constructions. Specifically, given any Mersenne prime p=2 t -1, we design three query LDCs of length N=EXP(n 1/t ), for every...
Topics: Microsoft Research, Microsoft Research Video Archive, Jennifer Chayes, Sergey Yekhanin
Microsoft Research Video
movies
eye 33
favorite 0
comment 0
Like the Greeks who sailed with Jason in search of the Golden Fleece, the new Argonauts-foreign born, technically skilled entrepreneurs who travel back and forth between Silicon Valley and their home countries-seek their fortune in distant lands by launching companies far from established centers of skill and technology. Their story illuminates profound transformations in the global economy, and economic geographer Saxenian has followed this transformation, exploring one of its great paradoxes:...
Topics: Microsoft Research, Microsoft Research Video Archive, Kim Ricketts and Kirsten Wiley, AnnaLee...
Microsoft Research Video
by Microsoft Research
movies
eye 20
favorite 0
comment 0
Brendan will come and talk about this design process, show a lot of demos of his work, and be available for questions. ©2007 Microsoft Corporation. All rights reserved.
Topics: Microsoft Research, Microsoft Research Video Archive, Lili Cheng, Brendan Dawes
Microsoft Research Video
movies
eye 18
favorite 0
comment 0
Harvey Mudd College is a small, highly selective, school for undergraduates, with a focus on the sciences, engineering, and mathematics. The capstone experience for students majoring in computer science is the year-long Computer Science Clinic project, named in analogy to the practical experience that students receive in the medical profession. Currently six or more such projects are conducted each year. This talk will present the rationale for, and typical characteristics of, Computer Science...
Topics: Microsoft Research, Microsoft Research Video Archive, Jared Jackson, Robert Keller
Microsoft Research Video
movies
eye 28
favorite 0
comment 0
The database service is the performance bottleneck in many Web applications. Database replication addresses this bottleneck, but current approaches of building replicated database systems perform poorly, providing limited scalability. As pointed out in the seminal work of Jim Gray, it is very challenging to provide scalable performance in replicated database systems. The difficulty stems from processing update transactions, whose effects have to be propagated and synchronized to maintain...
Topics: Microsoft Research, Microsoft Research Video Archive, i-nclark, Sameh Elnikety
Human manually written programs do many (clean) tasks well, such as word processing or dexterous dancing. However, machines have done poorly for (muddy) tasks that the brain is good at, such as perceiving and behaving properly in open ended, complex human environments. Human hand-designed task-specific representations face great challenges in such environments. Inspired by neuroscienece, this talk presents general purpose architectures that constrain the types of representation to be generated....
Topics: Microsoft Research, Microsoft Research Video Archive, Tandy Trower and Zhengyou Zhang, Juyang...
Scalable Parallel Computing on Many/Multicore Systems This set of lectures will review the application and programming model issues that will one must address when one gets chips with 32-1024 cores and “scalable” approaches will be needed to make good use of such systems. We will not discuss bit-level and instruction-level parallelism i.e. what happens on a possibly special purpose core, even though this is clearly important. We will use science and engineering applications to drive the...
Topics: Microsoft Research, Microsoft Research Video Archive, Jim Larus, Geoffrey Fox
Microsoft Research Video
movies
eye 43
favorite 0
comment 0
Embedded microcontrollers are becoming increasingly prolific, serving as the primary or auxiliary processor in products and research systems from microwaves to sensor networks. Microcontrollers represent perhaps the most severely resource-constrained embedded processors, often with as little as a few bytes of memory and a few kilobytes of code space. Language and compiler technology has so far been unable to bring the benefits of modern object-oriented languages to such processors. This talk...
Topics: Microsoft Research, Microsoft Research Video Archive, Pramod Joisha, Ben Titzer
Microsoft Research Video
movies
eye 32
favorite 0
comment 0
Let f be a fixed cusp form of weight at least 2. We show that for a set of n of density one, there is a common factor between n and the n-th Fourier coefficient of f. ©2007 Microsoft Corporation. All rights reserved.
Topics: Microsoft Research, Microsoft Research Video Archive, Ramarathnam Venkatesan, Kumar Murty
Microsoft Research Video
movies
eye 45
favorite 0
comment 0
A major engineering challenge in statistical machine translation systems is the efficient representation of extremely large translation rulesets. In phrase-based models, this problem can be addressed by storing the training data in memory and using a suffix array as an efficient index to quickly lookup and extract rules on the fly. Hierarchical phrase-based translation introduces the added wrinkle of source phrases with gaps. Lookup algorithms used for contiguous phrases no longer apply and the...
Topics: Microsoft Research, Microsoft Research Video Archive, Bill Dolan, Adam Lopez
Microsoft Research Video
movies
eye 62
favorite 0
comment 0
Video games are often perceived as brain-draining flights of fantasy that have no meaning beyond escapism and yet it is an industry that takes in more than $7 billion a year. In fact, there can be much more to video games than mindless entertainment, and the “serious games” movement argues that video games are not only a mirror to our culture but create ways to play with and manipulate important social and political questions. How? Videogames are an expressive and persuasive medium: they...
Topics: Microsoft Research, Microsoft Research Video Archive, Kim Ricketts and Kirsten Wiley, Ian Bogost
Microsoft Research Video
movies
eye 143
favorite 0
comment 0
Albert Einstein is a great icon of our age: the kindly refugee from oppression whose wild halo of hair, twinkling eyes, engaging humanity, and extraordinary brilliance made his face a symbol and his name a synonym for genius. In 2006, all of his (published and unpublished) papers were unsealed, and with this new information we can get a deeper understanding of the man and his place in history. What role did Einstein’s 'rebellious nature' play in his creativity? What were his thoughts about...
Topics: Microsoft Research, Microsoft Research Video Archive, Kim Ricketts and Kirsten Wiley, Walter...
Microsoft Research Video
movies
eye 33
favorite 0
comment 0
A result of Benjamini and Schramm states that the weak local limit (a.k.a. Benjamini-Schramm limit) of a sequence of planar graphs with uniformly bounded degrees is a.s. recurrent. We extend this results to limits of graphs excluding (any) fixed minor. Joint with Balazs Szegedy. ©2007 Microsoft Corporation. All rights reserved.
Topics: Microsoft Research, Microsoft Research Video Archive, David Wilson, Omer Angel
I will present our latest results on image and video processing. First, I will introduce the bilateral grid, a new image representation that enables fast edge-aware image processing. Image data is stored in a coarse 3D grid where an intensity axis is added to the traditional x and y axes. By working in the bilateral grid, algorithms such as bilateral filtering, edge-aware painting, and local histogram equalization become simple and can be efficiently parallelized on modern graphics hardware to...
Topics: Microsoft Research, Microsoft Research Video Archive, Sing Bing Kang, Sylvain Paris
Microsoft Research Video
movies
eye 39
favorite 0
comment 0
The Laboratory for Perceptual Robotics at UMass Amherst is studying how sensors and effectors can be recruited into working robot systems using an idea we call the 'control basis.' This framework provides a convenient representation for combining distributed resources into integrated machines that can dissociate once their task is completed. Perhaps surprisingly, we feel this representation has a lot to do with the cognitive organization of development and dexterous behavior in biological...
Topics: Microsoft Research, Microsoft Research Video Archive, George Chrysanthakopoulos, Roderic Grupen
Microsoft Research Video
movies
eye 20
favorite 0
comment 0
Data sets usually have some structural property that make them useful. An array of points may be sorted, a set of points may be in convex position, a graph may be a tree, etc. These properties are very sensitive to noise, and even a small perturbation of the input would destroy the useful structural property. We investigate the problem of 'monotonicity reconstruction' in a parallel setting. We have oracle access to a function f defined on the finite domain [n] d . We would like to closely...
Topics: Microsoft Research, Microsoft Research Video Archive, Satyen Kale, C. Seshadhr
Microsoft Research Video
movies
eye 28
favorite 0
comment 0
What do global warming, a scientific instrument weighing about 4500 tons and bill collection have in common? The once Berkeley 'hippie chick' turned Software Architect Catharine van Ingen. Catharine has a wealth of experience in hardware, including work with the Alpha machine and MIPS processor teams, and in industrial-strength software for algorithms used to manage water flows, logging data from particle accelerator detectors, and buying Mickey Mouse watches over the Internet. On Behind the...
Topics: Microsoft Research, Microsoft Research Video Archive, Jennifer Sisti, Catharine van Ingen
Microsoft Research Video
movies
eye 40
favorite 0
comment 0
Welcome to the mind and world of Fake Steve Jobs: Fake Steve, the counter-intuitive management guru: 'Obviously we can't literally put our employees' lives at risk. But we have to make them feel that way.' Fake Steve the celebrity hobnobber: 'I like Bono. He's the only person I know who's more self absorbed than I am.' Fake Steve on backdated stock options:'No doubt you've heard what happened to me. You've read the stories about the big scandal at Apple. The fact is, you've heard only one side....
Topics: Microsoft Research, Microsoft Research Video Archive, Kim Ricketts and Kirsten Wiley, Daniel Lyons
Microsoft Research Video
movies
eye 36
favorite 0
comment 0
We propose a novel graph decomposition that enables a scalable form of internet routing with roughly sqrt(n) memory and logarithmic delay. Subnetworks are required to be small and with small diameter, no three of them to overlap, but any two of them to do so. Our main result is that several popular models of 'internet-like graphs', most importantly the preferential attachment one proposed by Barabasi et al. in 1999, have such decompositions almost surely; experiments show that so does the real...
Topics: Microsoft Research, Microsoft Research Video Archive, Jennifer Chayes, Christos Papadimitriou
Why is software so hard? Our civilization runs on software, yet the art of creating it continues to be a dark mystery, even to the experts, and the greater the ambitions, the more it seem to fail. Scott Rosenberg tried to answer this question by taking us inside the Open Source Application Foundation, a software startup by Mitch Kapor (of Lotus Development) to follow what was supposed to be their 'one year race' to a brilliant new kind of software. Five years later the project is still in...
Topics: Microsoft Research, Microsoft Research Video Archive, Kim Ricketts and Kirsten Wiley, Scott...
An evolutionarily stable strategy (ESS) is an equilibrium strategy that is immune to invasions by rare alternative ('mutant') strategies. Unlike Nash equilibria, ESS do not always exist in finite games. In this paper, we address the question of what happens when the size of the game increases: does an ESS exist for 'almost every large' game? Letting the entries in the n x n game matrix be randomly chosen according to an underlying distribution F, we study the number of ESS with support of size...
Topics: Microsoft Research, Microsoft Research Video Archive, Yuval Peres, Sergiu Hart
In this talk I'll draw on work from my visit to Microsoft Cambridge earlier this year, in collaboration with the SDS group. The paper is a report of the results of a long-term, multi-site field trial of a situated awareness device for families called the 'Whereabouts Clock'. The Clock displayed family members' current location as one of four privacy-preserving, deliberately coarse-grained categories (HOME, WORK, SCHOOL or ELSEWHERE). In use, the Clock supported not only family co-ordination but...
Topics: Microsoft Research, Microsoft Research Video Archive, A.J. Brush, Barry Brown
Removing Camera Shake from a Single Photograph; Aaron Hertzmann - University of Toronto: Camera shake during exposure leads to objectionable image blur and ruins many photographs. Conventional blind deconvolution methods typically assume frequency domain constraints on images, or overly simplied parametric forms for the motion path during camera shake. Real camera motions can follow convoluted paths, and a spatial domain prior can better maintain visually salient image characteristics. We...
Topics: Microsoft Research, Microsoft Research Video Archive, Rick Szeliski, Drew Steedly, Aaron Hertzmann,...
Microsoft Research Video
by Microsoft Research
movies
eye 157
favorite 0
comment 0
Electronic documents provide vast amounts of information, but need to be organized in a way that lets people use that information.Topic models provide one way of approaching this problem, automatically identifying the 'topics' that appear in a collection of documents, and indicating the extent to which each document reflects each topic. I will summarize the basic ideas behind one such model, Latent Dirichlet Allocation (Blei, Ng, & Jordan, 2003), and use this model to describe how tools...
Topics: Microsoft Research, Microsoft Research Video Archive, Chris Quirk, Tom Griffiths
This class presents best practices for designing frameworks that are reusable object-oriented libraries. The guidelines are applicable to frameworks ranging in size and in their scale of reuse from large system frameworks to small components shared among several applications. They started as a small set of naming and design conventions, but have been enhanced, scrutinized, and refined to a point where they are generally considered the canonical way to design frameworks at Microsoft. They carry...
Topics: Microsoft Research, Microsoft Research Video Archive, Gavin Jancke, Krzysztof Cwalina
Humanity has a 50-50 chance of surviving this century, according to the eminent cosmologist Sir Martin Rees, Britain’s Astronomer Royal. Grim odds indeed, but James Martin, one of the great intellects of the information age, has devised a plan for stacking them more heavily in our favor. Martin has watched as concurrent crises pile up, including the destruction of the environment, overpopulation, poverty and terrorism—yet up until now lack of awareness and apathy have fostered inaction,...
Topics: Microsoft Research, Microsoft Research Video Archive, Kim Ricketts and Kirsten Wiley, James Martin
Scalable Parallel Computing on Many/Multicore Systems This set of lectures will review the application and programming model issues that will one must address when one gets chips with 32-1024 cores and “scalable” approaches will be needed to make good use of such systems. We will not discuss bit-level and instruction-level parallelism i.e. what happens on a possibly special purpose core, even though this is clearly important. We will use science and engineering applications to drive the...
Topics: Microsoft Research, Microsoft Research Video Archive, Jim Larus, Geoffrey Fox
Constructed between 1987 and 1989 and costing more than $200 million, Biosphere 2 was an experiment to test if and how people could create, live, and work inside a closed biosphere while carrying out scientific experiments. It explored the possible use of closed biospheres in space colonization, and also allowed the study and manipulation of a biosphere without harming our own. Problems plagued the experiment from the beginning--lack of oxygen, low food supply, and psychological problems such...
Topics: Microsoft Research, Microsoft Research Video Archive, Kim Ricketts and Kirsten Wiley, Jane Poynter
This talk describes Secure Virtual Architecture (SVA), an efficient and robust approach to provide a safe execution environment for an entire commodity operating system, such as Linux and its hosted applications. SVA defines a simple, but complete, virtual architecture, implemented via a compiler-based virtual machine. The SVA approach is efficient and requires relatively few changes to the guest OS because it is based on a set of novel, and highly efficient, techniques to enforce strong safety...
Topics: Microsoft Research, Microsoft Research Video Archive, Jim Larus, Vikram Adve
Microsoft Research Video
movies
eye 35
favorite 1
comment 0
Shannon's information theory was a towering achievement of 20th century science and laid a theoretical foundation for understanding how to design communication systems, and to judge their optimality. However, the bedrock assumptions in the Shannon framework of unbounded delay and reliability are not appropriate for mobile ad hoc networks, which has rapidly changing topologies and end-to-end performance constraints. The lack of a descriptive theory for ad hoc networks has greatly impeded their...
Topics: Microsoft Research, Microsoft Research Video Archive, Victor Bahl, Jeffrey G. Andrews
Microsoft Research Video
movies
eye 51
favorite 0
comment 0
While multiprocessor hardware is finally becoming ubiquitous, enticing most programmers to write parallel programs is going to be very challenging. For this reason, I believe that the main problem that confronts computer architects today is designing computer systems that help simplify parallel programming. In this talk I will present two novel, powerful computer architecture primitives that help simplify parallel programming. The first one is Bulk — a hardware framework for performing sets...
Topics: Microsoft Research, Microsoft Research Video Archive, Onur Mutlu, Luis Ceze
Microsoft Research Video
movies
eye 17
favorite 0
comment 0
Achieving complex results through engineering simplicity. ©2007 Microsoft Corporation. All rights reserved.
Topics: Microsoft Research, Microsoft Research Video Archive, Kim Ricketts and Kirsten Wiley, Will Wright
Microsoft Research Video
by Microsoft Research
movies
eye 198
favorite 0
comment 0
We consider the following two problems: a) How can we best compare two graphs? and b) How can we compare two nodes in a given graph? We present some algorithms based on the notion of random walks and diffusion and show that the two questions are intimately related. A naive algorithm requires O(n 6 ) time. Through extensions of linear algebra to Reproducing Kernel Hilbert Spaces (RKHS) and reduction to a Sylvester equation, we construct an algorithm that improves the time complexity to O(n 3 )....
Topics: Microsoft Research, Microsoft Research Video Archive, Chris J.C. Burges, S V N Vishwanathan (Vishy)
I've spent the last ten years trying to feed technologies and insights from Linguistics and Computational Linguistics into the infrastructure of the Web. In this talk I'll give brief but intense introductions to four areas of research interest from (C)L and related disciplines which have the potential for making a real impact on the way the Web works. Dependent on who's there, we may dive deeper into one or more of them, time permitting: A novel declarative approach to fixup of broken...
Topics: Microsoft Research, Microsoft Research Video Archive, Ken Church, Henry S. Thompson
Microsoft Research Video
movies
eye 11
favorite 0
comment 0
In the quest for tractable reasoning methods about concurrent algorithms both rely/guarantee logic and separation logic have made great advances, but neither is the ultimate approach. Rely-guarantee copes naturally with interference, but its specifications are complex as they describe the entire state. Conversely, separation logic has difficulty dealing with interference, but its specifications are simpler because they describe only the relevant state that the program accesses. Taking a...
Topics: Microsoft Research, Microsoft Research Video Archive, i-nclark, Viktor Vafeiadis
Microsoft Research Video
movies
eye 18
favorite 0
comment 0
Despite its wide adoption, home networking presents severe hurdles for many users; in fact, home networking equipment is currently the most returned item at `big box` consumer electronics stores. These returns are not because of technical failures, but rather because of a lack of usability of most current products. Research at Georgia Tech is focusing on understanding and addressing the usability challenges of home networking. In this talk, I`ll present an overview of our work, focusing...
Topics: Microsoft Research, Microsoft Research Video Archive, shahrami, Keith Edwards
Microsoft Research Video
movies
eye 23
favorite 0
comment 0
Demo of the Courier Smartphone app. This allows office documents to be automatically synchronized between the desktop and the phone without use of the cloud. Files transferred are based on actual use and do not require any user inputs. ©2011 Microsoft Corporation. All rights reserved.
Topics: Microsoft Research, Microsoft Research Video Archive
Microsoft Research Video
movies
eye 12
favorite 0
comment 0
Current climate models work by attempting to simulate the weather from first principles. In effect they are weather forecast models run for decades to centuries and in some cases millennia, typically representing scales of 200km or greater. Scales below this need to be parameterized in terms of the large scale flow, and these parameterizations lead to uncertainty in future warming. Observational datasets of climate change are created by combining observations originally made for other purposes....
Topics: Microsoft Research, Microsoft Research Video Archive, Simon Mercer, Simon Tett
Topics: Microsoft Research, Microsoft Research Video Archive, Evelyne Viegas, Xuanhui Wang
Topics: Microsoft Research, Microsoft Research Video Archive, Evelyne Viegas, Amelie Marian
Topics: Microsoft Research, Microsoft Research Video Archive, Tony Hey, Dan Gusfield
Microsoft Research Video
movies
eye 19
favorite 0
comment 0
Optimal control in biology and engineering ©2007 Microsoft Corporation. All rights reserved.
Topics: Microsoft Research, Microsoft Research Video Archive, Eric Horvitz, Emanuel Todorov
Microsoft Research Video
movies
eye 16
favorite 0
comment 0
Traditional Coding Theory, inspired by Shannon's motivations in communication problems, has been very successful in proposing meaningful abstractions (e.g Hamming distance, code rate, decoding complexity) and perfecting code construction for those abstractions. Data-storage applications, however, exhibit unique behaviors and constraints that are often addressed by either inefficient adaptations of known codes, or by ad-hoc solutions. In this lecture, examples of more methodical treatments of...
Topics: Microsoft Research, Microsoft Research Video Archive, Phil Chou, Yuval Cassuto
Topics: Microsoft Research, Microsoft Research Video Archive, Evelyne Viegas, Eytan Adar
Schematic tables are a new representation for conditionals. Roughly a cross between decision tables and data flow graphs, they represent computation and decision-making orthogonally. They unify the full range of conditional constructs, from if statements through pattern matching to polymorphic predicate dispatch. Program logic is maintained in a declarative canonical form that enforces completeness and disjointness among choices. Schematic tables can be used either as a code...
Topics: Microsoft Research, Microsoft Research Video Archive, Herman Venter, Jonathan Edwards
Improving the energy efficiency of enterprise computing requires new ways of designing systems and new policies for adaptively managing individual systems or data centers. To enable these improvements, this talk presents Mantis, a non-intrusive method of modeling full- system power consumption and providing real-time power predictions; and JouleSort, the first complete full-system energy-efficiency benchmark. Mantis generates models by correlating AC power measurements with high-level system...
Topics: Microsoft Research, Microsoft Research Video Archive, Feng Zhao, Suzanne Rivoire
Microsoft Research Video
movies
eye 16
favorite 0
comment 0
This talk introduces GENI, the National Science Foundation's ambitious plan to build a national facility to enable research into 'clean slate' architectures for future global communications networks. GENI has just entered a new stage in its development. Early prototyping is now beginning, which will often illumination into its construction plans and research potential. The first round of software, hardware, and trial facilities are now being proposed by academic and industrial research teams....
Topics: Microsoft Research, Microsoft Research Video Archive, Victor Bahl, Chip Elliot
Creating, Editing, and Viewing Very BIG Images; Michael Cohen, Matt Uyttendaele, Johannes Kopf - Microsoft Research: Very high resolution “gigapixel” images offer a variety of new viewing and interaction paradigms including deep pan and zoom as well as dynamically modifying the exposure gain and bias during viewing. Viewing, creating and editing such images present a number of challenges. We will describe how we have overcome these and demonstrate an online viewing system called HD View....
Topics: Microsoft Research, Microsoft Research Video Archive, Rick Szeliski, Michael Cohen, Matt...
Microsoft Research Video
movies
eye 28
favorite 0
comment 0
Monitoring data streams in a distributed system is the focus of much research in recent years. Most of the proposed schemes, however, deal with monitoring simple aggregated values, such as the frequency of appearance of items in the streams. More involved challenges, such as the important task of feature selection (e.g., by monitoring the information gain of various features), still require very high communication overhead using naive, centralized algorithms. We present a novel geometric...
Topics: Microsoft Research, Microsoft Research Video Archive, Daan Leijen, Assaf Schuster
Microsoft Research Video
movies
eye 40
favorite 0
comment 0
The ASTREE analyzer is an abstract interpretation-based static analyzer tailored to prove the absence of run time errors (division by 0, out of bounds, overflow, null pointer dereference, ...) in critical embedded synchronous software as found in earth transportation, nuclear energy, medical instrumentation and aerospace applications. Its design started in November 2001 at the Laboratoire d'Informatique of the Ecole Normale Superieure (LIENS). The ASTREE analyzer was able to prove fully...
Topics: Microsoft Research, Microsoft Research Video Archive, Francesco Logozzo, Jerome Feret
During recent years, the pervasive deployment of Peer-to-Peer (P2P) systems had a profound impact on the Internet that is even more tangible than the impact of the Web. Ease of deployment and self-scaling are two key factors that continue to fuel the growing popularity of the P2P communication paradigm for a wide spectrum of large scale commercial systems ranging from content distribution to Internet telephony (e.g. Skype) and Internet TV. Despite the importance of the P2P communication...
Topics: Microsoft Research, Microsoft Research Video Archive, Jin Li, Reza Rejaie
9:00-9:45 - Introduction: Control system architecture, goals, and metrics. 9:45-10:15 - Theory Part 1: Signals, Z-Transforms ©2007 Microsoft Corporation. All rights reserved.
Topics: Microsoft Research, Microsoft Research Video Archive, Jim Larus, Joe Hellerstein
I will present the design of a programming language (called MLPolyR) whose type system makes significant use of row polymorphism (Rémy, 1991). MLPolyR (Blume et al. 2006) is a dialect of ML and provides extensible records as well as their exact dual, polymorphic sums with extensible first-class cases. As I will demonstrate, first-class extensible cases enable code written in a certain style to be re-used in the context of 'wider' types (sum types with more variants) than originally...
Topics: Microsoft Research, Microsoft Research Video Archive, Juan Chen, Matthias Blume
Microsoft Research Video
by Microsoft Research
movies
eye 27
favorite 0
comment 0
The success of software verification depends on the ability to find a suitable abstraction of a program automatically. We propose a method for automated abstraction refinement which overcomes some limitations of current predicate discovery schemes. In current schemes, the cause of a false alarm is identified as an infeasible error path, and the abstraction is refined in order to remove that path. By contrast, we view the cause of a false alarm ---the spurious counterexample--- as a full-fledged...
Topics: Microsoft Research, Microsoft Research Video Archive, Nikolaj Bjorner, Andrey Rybalchenko